$\forall$${\it ltg}$:(IdLnk$\times$Id$\times$Type), $i$:Id. (${\it ltg}$ $\in$ da{-}outlinks(;$i$)) $\Rightarrow$ False